<!--
    Licensed to the Apache Software Foundation (ASF) under one
    or more contributor license agreements.  See the NOTICE file
    distributed with this work for additional information
    regarding copyright ownership.  The ASF licenses this file
    to you under the Apache License, Version 2.0 (the
    "License"); you may not use this file except in compliance
    with the License.  You may obtain a copy of the License at

        http://www.apache.org/licenses/LICENSE-2.0

    Unless required by applicable law or agreed to in writing, software
    distributed under the License is distributed on an "AS IS" BASIS,
    WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
    See the License for the specific language governing permissions and
    limitations under the License.
-->

<html>
	<head>
		<title>Package documentation for org.apache.jena.reasoner.rulesys</title>
	</head>
	<body>
		<p>
			Provides a selection of simple rule engines for Jena inference models.
			Currently this includes a simple forward chaining engine (BasicForwardRuleReasoner).
			This is currently a pure interpreter (no RETE network) with an extensible set
			of Builtin actions (see Builtin).
	    </p><p>
	        We include two example reasoners built using this rule engine. The first is
	        an alternative RDFS implementation (RDFSRuleReasonerFactory) which implements the
	        full RDFS rule set forward style.
	    </p><p>
	        The second is an implementation of the OWL-lite subset of OWL-full (OWLRuleReasonerFactory).
	        This omits some of the RDFS entailments (everything is a Resource, every Class is a
	        subclass of Resource) because those conclusions are general not that useful and
	        lead to rather a lot of pointless deductions in forward chaining mode.

		</p>
	</body>
</html>